Alan Durfee and Donal

Link Manifolds and Periodicity 571

Five Definitions of Critical Point at Infinity

This survey paper discusses five equivalent ways of defining a “critical point at infinity” for a complex polynomial of two variables.

Intersection homology Betti numbers

A generalization of the formula of Fine and Rao for the ranks of the intersection homology groups of a complex algebraic variety is given. The proof uses geometric properties of intersection homology and mixed Hodge theory. The middle-perversity intersection homology with integral coefficients of a compact complex n-dimensional algebraic variety X with isolated singularities is well known to be...

The combinatorics of k - marked Durfee symbols Kathy

Andrews recently introduced k-marked Durfee symbols which are connected to moments of Dyson’s rank. By these connections, Andrews deduced their generating functions and some combinatorial properties and left their purely combinatorial proofs as open problems. The primary goal of this article is to provide combinatorial proofs in answer to Andrews’ request. We obtain a relation between k-marked ...

Efficient CTL* model checking for analysis of rainbow designs

We describe an efficient implementation of a CTL model-checking algorithm based on alternating automata. We use this to check properties of an asynchronous micropipeline design described in the Rainbow framework, which operates at the micropipeline level and leads to compact models of the hardware. We also use alternating automata to characterise the expressive power and model-checking complexi...